Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology

摘要

This paper is in closed access until 09/05/2018.